提高聚氨酯推进剂基体粘结强度的途径探索

聚氨酯的水解稳定性较差,粘结强度偏低。将端羟基聚丁二烯与聚氨酯进行共混改性,提高了聚氨酯基体的表观交联度及推进剂的拉伸强度。采用示差扫描量热法和红外光谱法分析基体共混物的微观结构,表明这是提高聚氨酯基体粘结强度的一条有效途径。     

灰色矩阵对策

本文结合灰色系统与对策论的知识,给出了以区间型灰数为元素的灰矩阵对策的定义,讨论了灰矩阵对策在纯策略与混合策略意义下的最优策略及灰解的存在性。     

CAD/CAM中造型技术和发展趋势

造型技术是CAD/CAM的核心技术。本文较详细地介绍了几何造型、壳体造型及特征造型的理论与算法,分析了各种造型方法及形体表示方法的优缺点,最后探讨了造型技术的发展趋势。     

一种用于创作艺术画面的梯度着色方法

本文介绍一种创作生动画面的新型着色方法。它不同于以往的单一色彩(或模式)的填充,而是以一种颜色渐变的方式进行填充。利用该算法产生的计算机艺术图片,生动而且逼真,已经应用于电脑动画的创作。文中给出了C语言实现的程序:     

类比推理中的一种相似性准则及其验证方法

类比推理是人工智能领域中的重要研究方向,而相似性准则是类比推理中的重要概念。文中给出了类比推理的一种描述框架,定义了相似性准则,并且基于项重写技术,提出了相应的验证方法。     

并行程序设计语言在串行机上的编译实现

目前,诸如Fortran 8x 程序设计语言中已经引入了并行运算成份。这给普通串行(标量)机上实现编译器带来了困难。本文提出了数组(矩阵)运算串行化的概念,并给出了串行化的判别准则及算法。     

最佳（n,2,w）二进制等重检错码的研究

本文研究了最佳(n,2,w)二进制等重检错码的存在性问题。对于文[5]中n 为偶数时所得的结论,本文给了一个简练的证明。更为重要的是,利用以上方法,作者证明了文[5]中关于n 为奇数时的一个猜想。     

对信息流控制机制的一点注记——关于可变级机制语义的探讨

本文讨论对可变安全性级的基于执行的信息流控制机制的语义修改     

M/G/1(RVT,P(j))排队系统的另一分析方法及其应用

M/G/1(RVT,P(j))表示服务员具有随机长度休息时间(RVT)的、且一休息时间结束时有 j 个顾客等待的概率为 P(j)的、修正的 M/G/1 排队系统。我们用嵌入 Markov 链的技术已详细地分析过这一排队系统,这里提供另一分析方法。最后,应用这个排队系统的分析结果,对时隙 ALOHA 卫星公用信道的分组碰撞概率计算公式作了推导。     

近程防御体系作战的计算机仿真研究

未来海战将是高技术条件下的局部战争,作战模式是体系与体系的对抗。因此,应从作战体系的角度研究作战。本文就是对未来自备式近程防御体系进行计算机仿真研究,仿真系统的两台计算机之间通过ＲＳ２３２连接。仿真软件主要包括指控系统软件部分、指控系统界面设计部分、对体系的动画仿真演示制作部分、通信部分设计等。